Increase padding of sources in summary

Makes it feel less cramped and makes the targets larger and
easier to use.

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 824bda3b726e05368b41e5791afcb399060833a1..56befaa9da8164ddd7340184504231ca4e797a3b 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1010,8 +1010,8 @@ StTooltip StLabel {
 }
 
 .summary-source-button {
-    padding-left: 3px;
-    padding-right: 3px;
+    padding-left: 12px;
+    padding-right: 12px;
 }
 
 .summary-source-button:last-child {